sheaf isomorphism

[数] 层同构